<div style="margin: 10px;">
  <div><strong>Error message filter</strong></div>
  Use spaces to separate multiple terms. Use quotes for text
  that has spaces. Add a minus in front of a term to exclude errors containing that text.
  <span style="white-space: nowrap;">E.g. <em>one "two with a space" -three</em></span>
</div>
